context free grammar in automata